#ifndef TIMER_H_
#define	TIMER_H_

//#include "ADC.h"
#include "lpc_types.h"
#include "lpc17xx_timer.h"

void timer_init(void);
void TIMER0_IRQHandler(void);
void timedis(void);

#endif